Section 3.1 - Statements And Logical Connectives